代入文の副作用について